Code Generation for PTIDES Models

نویسندگان

  • Jia Zou
  • Isaac Liu
  • Jeff C. Jensen
چکیده

PTIDES is a programming model for distributed real-time embedded systems. PTIDES builds on Discrete-Event (DE) semantics and leverages a global notion of time throughout distributed platforms. Applications expressed in PTIDES models can be designed without any knowledge about the hardware platform upon which it is implemented, thus completely decoupling the design from the implementation. To bridge this gap, a code generator is implemented to automatically generate platformspecific C code from PTIDES models designed in Ptolemy II [1] to a particular hardware platform. This paper present our approach in generating C code from PTIDES models, and statically link them against the PtidyOS scheduling libraries to produce a realtime executable we call PtidyOS.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Deterministic Execution of Ptides Programs

This paper discusses the use of the Ptides model of computation as a coordination language for the design of deterministic, event-driven, real-time, distributed embedded systems. Specifically, the paper shows how the use of synchronized clocks in the context of Ptides enables explicit, platform independent specification of functionality and timing. From this specification, we generate code for ...

متن کامل

From Ptides to PtidyOS, Designing Distributed Real-Time Embedded Systems

From Ptides to PtidyOS, Designing Distributed Real-Time Embedded Systems by Jia Zou Doctor of Philosophy in Electrical Engineering and Computer Science University of California, Berkeley Professor Edward A. Lee, Chair Real-time systems are those whose correctness depend not only on logical operations but also on timing delays in response to environment triggers. Thus programs that implement the...

متن کامل

Implementation of Real-Time Distributed Discrete- Event Execution with Fault Tolerance

We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications. PTIDES improves on distributed DE execution by allowing more concurrent event processing without backtracking. This paper discusses the general execution strategy for PTIDES, and provides two feasible implementations. This execution strategy is then extended w...

متن کامل

Poster Abstract: “PtidyOS: An Operating System based on the PTIDES Programming Model”

Most real-time embedded software is built on programming abstractions that lack precise timing semantics. Our earlier work presented PTIDES, a programming model for distributed real-time software that delivers temporal semantics by exploiting discrete-event model of computation. In this work we introduce work we are doing to develop PtidyOS, a novel lightweight embedded operating system based o...

متن کامل

Application of Programming Temporally Integrated Distributed Embedded Systems

The introduction of network time protocols such as NTP (at a coarse granularity) and IEEE 1588 (at a fine granularity) gives a relatively consistent global notion of time that has the potential to significantly change how we design distributed real-time systems. In [4], we present a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems) that uses discre...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009